/*
 * allocPCB.c
 *
 *  Created on: Sep 29, 2013
 *      Author: Alex Bouvy
 */

#include <stdlib.h>
#include "mpx_pcb.h"
#include "mpx_supt.h"

/*
 * allocPCB()
 * Written by ALex Bouvy
 * Uses the support function sys_alloc_mem() to allocate memory for a PCB
 * Returns:
 *      Pointer to the PCB if successful
 *      NULL if error, including if one of the parameters is invalid
 */

struct MPX_PCB *allocPCB(){
	struct MPX_PCB* p;
	p = sys_alloc_mem(sizeof(MPX_PCB)); 
//	printf("allocated address: %d\n",&p);
	return p;
}
